\begin{tabbing}
(\=(((FHyp ({-}1) [{-}2]) \+
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((InstLemma `hd{-}before` [$T$;
\-\\[0ex]$L$\=;$x$]) \+
\\[0ex]CollapseTHENA (((Auto$\cdot$) 
\\[0ex]CollapseTHEN (((FLemma `l\_before\_member2` [{-}3]) 
\\[0ex]
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}